Nuprl Definition : suptype 12,41
suptype(S; T) == T  S 
latex

DefinitionsS  T

origin